1. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
Author: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
803
2. Foundations of object-oriented languages :
Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.
Classification :
QA76
.
64
J834
1991
3. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
489
4. Linear time, branching time, and partial order in logics and models for concurrency :
Author: J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
Classification :
QA76
.
5
.
L523
1989
5. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
Author: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
354
6. Stepwise refinement of distributed systems :
Author: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing, Congresses.
Classification :
QA76
.
9
.
D5
S75
1990
7. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
Author: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
430
